\begin{table}
\centering
\fontsize{9}{11}\selectfont
\begin{tabular*}{\linewidth}{@{\extracolsep{\fill}}lllllllc}\\\hlx{hv}
\multicolumn{1}{c}{\multirow{2}{*}{Benchmark}} & \multicolumn{1}{c}{Size} & \multicolumn{1}{c}{Time} & \multicolumn{1}{c}{DT Size} & \multicolumn{1}{c}{Size} & \multicolumn{1}{c}{Time} & \multicolumn{1}{c}{DT Size} & Min\\
& \multicolumn{1}{c}{of first} & \multicolumn{1}{c}{to first} & \multicolumn{1}{c}{for first} & \multicolumn{1}{c}{of min} & \multicolumn{1}{c}{to min} & \multicolumn{1}{c}{for min} & first?\\\hlx{hv}
icfp\_103\_10.sl & 39 & 1.2 & 9 & 23 & 49.3 & 5 & $\times$ \\
icfp\_104\_10.sl & 15 & 0.1 & 5 & 15 & 0.1 & 5 & $\checkmark$ \\
icfp\_105\_1000.sl & 13 & 0.3 & 5 & 13 & 0.3 & 5 & $\checkmark$ \\
icfp\_105\_100.sl & 13 & 0.1 & 5 & 13 & 0.1 & 5 & $\checkmark$ \\
icfp\_113\_1000.sl & 10 & 0.1 & 3 & 10 & 0.1 & 3 & $\checkmark$ \\\hlx{h}
icfp\_114\_100.sl & 18 & 0.7 & 5 & 18 & 0.7 & 5 & $\checkmark$ \\
icfp\_118\_100.sl & 33 & 1.4 & 7 & 15 & 5.9 & 3 & $\times$ \\
icfp\_118\_10.sl & 30 & 0.6 & 7 & 14 & 1.5 & 3 & $\times$ \\
icfp\_125\_10.sl & 18 & 1.3 & 5 & 18 & 1.3 & 5 & $\checkmark$ \\
icfp\_134\_1000.sl & 32 & 3.0 & 7 & 25 & 44.5 & 5 & $\times$ \\\hlx{h}
icfp\_135\_100.sl & 12 & 0.1 & 3 & 12 & 0.1 & 3 & $\checkmark$ \\
icfp\_139\_10.sl & 9 & 0.0 & 3 & 9 & 0.0 & 3 & $\checkmark$ \\
icfp\_14\_1000.sl & 36 & 3.3 & 7 & 18 & 170.8 & 3 & $\times$ \\
icfp\_143\_1000.sl & 15 & 0.5 & 3 & 15 & 0.5 & 3 & $\checkmark$ \\
icfp\_144\_1000.sl & 31 & 5.7 & 7 & 25 & 223.3 & 5 & $\times$ \\\hlx{h}
icfp\_144\_100.sl & 31 & 3.9 & 7 & 24 & 161.8 & 5 & $\times$ \\
icfp\_147\_1000.sl & 11 & 0.1 & 3 & 11 & 0.1 & 3 & $\checkmark$ \\
icfp\_150\_10.sl & 37 & 0.2 & 9 & 22 & 1.1 & 5 & $\times$ \\
icfp\_21\_1000.sl & 18 & 0.4 & 5 & 18 & 0.4 & 5 & $\checkmark$ \\
icfp\_25\_1000.sl & 28 & 1.8 & 7 & 21 & 34.0 & 5 & $\times$ \\\hlx{h}
icfp\_28\_10.sl & 2 & 0.0 & 0 & 2 & 0.0 & 0 & $\checkmark$ \\
icfp\_30\_10.sl & 13 & 0.2 & 3 & 13 & 0.2 & 3 & $\checkmark$ \\
icfp\_32\_10.sl & 13 & 0.1 & 3 & 13 & 0.1 & 3 & $\checkmark$ \\
icfp\_38\_10.sl & 17 & 0.1 & 5 & 13 & 3.9 & 3 & $\times$ \\
icfp\_39\_100.sl & 11 & 0.1 & 3 & 11 & 0.1 & 3 & $\checkmark$ \\\hlx{h}
\end{tabular*}
\vspace*{1mm}
\caption{Results on the ICFP benchmark suite. All times are in seconds.}
\label{table:anytime_results_1}
\end{table}
